Toposes are Cohomologically Equivalent to Spaces
نویسندگان
چکیده
منابع مشابه
Toposes Are Cohomologically Equivalent to Spaces
Please be advised that this information was generated on 2017-02-10 and may be subject to change.
متن کاملCocomplete toposes whose exact completions are toposes
Let E be a cocomplete topos. We show that if the exact completion of E is a topos then every indecomposable object in E is an atom. As a corollary we characterize the locally connected Grothendieck toposes whose exact completions are toposes. This result strengthens both the Lawvere–Schanuel characterization of Boolean presheaf toposes and Hofstra’s characterization of the locally connected Gro...
متن کاملLocales and Toposes as Spaces
1. Introduction Mac Lane and Moerdijk, 1992, in their thorough introduction to topos theory, start their Prologue by saying – A startling aspect of topos theory is that it unifies two seemingly wholly distinct mathematical subjects: on the one hand, topology and algebraic geometry, and on the other hand, logic and set theory. Indeed , a topos can be considered both as a " generalized space " an...
متن کاملAn example of $,-equivalent spaces which are not &-equivalent
We construct an example of two countable spaces X and Y such that the spaces C,‘(X) and CG (Y) are homeomorphic and the spaces C,(X) and C,(Y) are not homeomorphic. o 1998 Elsevier Science B.V.
متن کاملToposes Are Adhesive
Adhesive categories have recently been proposed as a categorical foundation for facets of the theory of graph transformation, and have also been used to study techniques from process algebra for reasoning about concurrency. Here we continue our study of adhesive categories by showing that toposes are adhesive. The proof relies on exploiting the relationship between adhesive categories, Brown an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Journal of Mathematics
سال: 1990
ISSN: 0002-9327
DOI: 10.2307/2374854